-
1 typing system
English-Russian dictionary of Information technology > typing system
-
2 typing system
-
3 typing system
Нефть: система типов -
4 typing system
Англо-русский словарь нефтегазовой промышленности > typing system
-
5 typing system
-
6 typing system
English-Russian dictionary of terms that are used in computer games > typing system
-
7 typing system
-
8 composition-by-typing system
Полиграфия: строкопечатающая наборная машинаУниверсальный англо-русский словарь > composition-by-typing system
-
9 fountain-type inking system
English-Russian big polytechnic dictionary > fountain-type inking system
-
10 pendant-mounted cnc system
English-Russian big polytechnic dictionary > pendant-mounted cnc system
-
11 strong typing
-
12 (a) system of checking
a system of checking (of memory training, of typing) система контроля (тренировки памяти, печатания)English-Russian combinatory dictionary > (a) system of checking
-
13 touch system
-
14 система типов
-
15 ошибка в определении типа
Русско-английский большой базовый словарь > ошибка в определении типа
-
16 система типов
система связи типа "сетка" — grid system of communications
Русско-английский словарь по информационным технологиям > система типов
-
17 слабый тип
Русско-английский словарь по информационным технологиям > слабый тип
-
18 затвор рычажного типа
болт типа "банджо" — banjo bolt
Русско-английский военно-политический словарь > затвор рычажного типа
-
19 система типов
1) Oil: typing system2) Programming: type system (Система типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов) -
20 Zehnfingersystem
n1. touch system2. touch typing system
См. также в других словарях:
System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… … Wikipedia
System programming language — System programming languages (otherwise known as applications languages) are programming languages that are statically typed, allow arbitrarily complex data structures, compiled, and meant to operate largely independently of other programs.… … Wikipedia
system — n. group of items serving a common purpose 1) an air conditioning; amplifying; brake; data processing; filing; guidance; heating; highway (AE), motorway (BE), road; intercommunication; life support; number; public address; railroad (AE), railway… … Combinatory dictionary
system — noun Etymology: Late Latin systemat , systema, from Greek systēmat , systēma, from synistanai to combine, from syn + histanai to cause to stand more at stand Date: 1603 1. a regularly interacting or interdependent group of items forming a unified … New Collegiate Dictionary
System/34 BASIC — IBM System/34 BASIC was an interpreter for the IBM System/34 midrange computer.System/34 BASIC was first offered in 1978, and as such, contained many of the trappings that a BASIC program would have encountered in the time period of the TRS 80,… … Wikipedia
System/36 BASIC — IBM System/36 BASIC was an interpreter for the IBM System/36 midrange computer.System/36 BASIC was first offered in 1983, and as such, contained many of the trappings that a BASIC program would have encountered in the time period of the IBM PC,… … Wikipedia
System/34 and System/36 Screen Design Aid — Screen Design Aid (System/34 and System/36) (SDA) is a utility for the IBM System/34, System/36, System/38, and AS/400 (iSeries) midrange computers.This article refers to the S/34 and S/36 implementations of SDA. S/38 and AS/400 use a different… … Wikipedia
System Reference Manual — The SRM firmware (also called the SRM console) is the boot firmware written by Digital Equipment Corporation (DEC) for computer systems based on the Alpha AXP microprocessor. The acronym SRM is derived from the phrase Alpha System Reference… … Wikipedia
typing — noun writing done with a typewriter (Freq. 2) • Syn: ↑typewriting • Derivationally related forms: ↑typewrite (for: ↑typewriting), ↑type • Hypernyms … Useful english dictionary
Typing — Typisierung steht für: Typifikation, das System und den Vorgang des Einteilens von Gegenständen in Typen, siehe Klassifikation in Technik und Recht für die Prüfung auf Vorschriftsmässigkeit von Waren, Geräten uä., siehe Bauartzulassung die… … Deutsch Wikipedia
Duck typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia